Fresh Approaches for Structured Text Programmable Logic Controllers Programs Verification

Programmable logic controllers (PLCs) are everywhere today and perform critical tasks in industries. They considered as a key component for the Industry 4.0. Before they put into operation, it is necessary to check accuracy of PLC programs. This verification operation can be performed using model checkers. stage often long costly requires domain expert who understand system, well different checker tools able verify code implemented controller. Furthermore, this conversion language understood by which influence behavior observed PLC. Hence, there need propose methods could used technicians engineers. The aim paper that require little work set up robust program sizes explores some fresh ideas human-adapted verification. We present test codes structured text (ST) compliant with IEC 61131-3 standard. first idea ST will directly on For that, we method UPPAAL allows us obtain exact results short codes. Second, verifying generic properties must avoid: deadlocks, non-accessible states fugitive or actions. To solve combinatory explosion problems encountered software, third proposition consists relational databases. same previously followed obtained, but search time longer. fourth last proposal process neural network composed short-term memory layers (LSTM) quickly determine validity code. give an approximation errors few seconds. proposed supported several examples.